翻訳と辞書 Words near each other ・ Post Regiment (album) ・ Post Register ・ Post riders ・ Post Ridge ・ Post Break-Up Sex ・ Post bronchodilator test ・ Post Brothers Apartments ・ Post canonical system ・ Post Captain (novel) ・ Post Carbon Institute ・ POST card ・ Post church ・ Post City Magazines ・ Post conviction ・ Post Corner, New Jersey ・ Post correspondence problem ・ Post Danmark ・ Post Darreh ・ Post disputation argument ・ Post Ekspres Prima ・ Post Electric Blues ・ Post Falls Community United Presbyterian Church ・ Post Falls High School ・ Post Falls, Idaho ・ Post Fiji ・ Post Foods ・ Post Gaz ・ Post Grad ・ Post Graduate College, Ghazipur ・ Post Graduate Institute of Medical Education and Research Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Post correspondence problem ： ウィキペディア英語版 Post correspondence problem The Post correspondence problem is an undecidable decision problem that was introduced by Emil Post in 1946. Because it is simpler than the halting problem and the ''Entscheidungsproblem'' it is often used in proofs of undecidability. == Definition of the problem == The input of the problem consists of two finite lists $\backslash alpha\_,\; \backslash ldots,\; \backslash alpha\_$ and $\backslash beta\_,\; \backslash ldots,\; \backslash beta\_$ of words over some alphabet $A$ having at least two symbols. A solution to this problem is a sequence of indices $(i\_k)\_$ with $K\; \backslash ge\; 1$ and $1\; \backslash le\; i\_k\; \backslash le\; N$ for all $k$, such that : $\backslash alpha\_\; \backslash ldots\; \backslash alpha\_\; =\; \backslash beta\_\; \backslash ldots\; \backslash beta\_.$ The decision problem then is to decide whether such a solution exists or not. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Post correspondence problem」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.